Tarski's Fixed Point Theorem -- from Wolfram MathWorld Tarski's Fixed Point Theorem. Let (L,L is monotone increasing (or isotone), i.e., for all x,y in L , x
